@defns{$name}=’plus’; elsif(/^@use (.*)$/) { print "\\LA{",&convquotes($1),"\\RA{"; elsif(/^@quote$/) { $quoting=1; print "{\\tt "; elsif(/^@endquote$/) { $quoting=0; print ""; $textmode=0; elsif(/^@file (.*)$/) { $filename=$1; print "\\filename{$filename"; elsif(/^@literal (.*)$/) { print "$1"; print "\\bye\n";

This document was generated on January 31, 2023 using texi2html 5.0.